|
K
Kac, 48, 491
kernelisation, 483
key, 21, 47, 65, 91, 116, 250, 372, 383, 386, 396, 400, 401, 408
Khowarizmi, 2
Knight, 492
knight's tour, 139
Knuth, 27, 32, 33, 80, 492
Knuth-Bendix, 27, 32, 33
Kowalski, 345
Kλ, vi, ix, xii, 16, 17, 24, 110, 142, 156, 171, 172, 173, 174, 177, 178, 180, 182, 184, 185, 186, 210, 211, 255, 333, 336, 337, 344, 345, 388, 410, 418, 419, 420, 421, 422, 462, 466, 468, 483, 484
Kλ+, 418, 419, 421, 422
|
|
